`ifndef AND_V
`define AND_V

`include "nand.v"
module And(input a, b, output out);
    Nand nand1(a, b, nand_out);
    Nand nand2(nand_out, nand_out, out);
endmodule   

`endif